spec_trans(root,'$initialise_machine',0).
spec_trans(0,'addPaper(1)',1).
spec_trans(0,'addPaper(2)',2).
spec_trans(0,'addPaper(3)',3).
spec_trans(0,'addPaper(4)',4).
spec_trans(0,'addPaper(5)',5).
spec_trans(0,'addPaper(6)',6).
spec_trans(0,'addPaper(7)',7).
spec_trans(0,'addPaper(8)',8).
spec_trans(0,'addPaper(9)',9).
spec_trans(0,'addPaper(10)',10).
spec_trans(0,'addPaperTest(1,{})',0).
spec_trans(0,'addPaperTest(1,{1})',0).
spec_trans(0,'addPaperTest(1,{1,2})',0).
spec_trans(0,'addPaperTest(1,{1,2,3})',0).
spec_trans(0,'addPaperTest(1,{1,3})',0).
spec_trans(0,'addPaperTest(1,{2})',0).
spec_trans(0,'addPaperTest(1,{2,3})',0).
spec_trans(0,'addPaperTest2(1,{})',0).
spec_trans(0,'addPaperTest2(1,{1})',0).
spec_trans(0,'addPaperTest2(1,{1,2})',0).
spec_trans(0,'addPaperTest2(1,{1,2,3})',0).
spec_trans(0,'addPaperTest2(1,{1,3})',0).
spec_trans(0,'addPaperTest2(1,{2})',0).
spec_trans(0,'addPaperTest2(1,{2,3})',0).
spec_trans(0,'addPaper_MF_Test(1,{})',0).
spec_trans(0,'addPaper_MF_Test(1,{1})',0).
spec_trans(0,'addPaper_MF_Test(1,{1,2})',0).
spec_trans(0,'addPaper_MF_Test(1,{1,2,3})',0).
spec_trans(0,'addPaper_MF_Test(1,{1,3})',0).
spec_trans(0,'addPaper_MF_Test(1,{2})',0).
spec_trans(0,'addPaper_MF_Test(1,{2,3})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,61})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,62})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,63})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,64})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,65})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,66})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,67})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,68})',0).
spec_trans(0,'addPaper_MF_Test_N2(1,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,69})',0).
spec_trans(0,'remove(1)',0).
spec_trans(0,'remove(2)',0).
spec_trans(0,'remove(3)',0).
spec_trans(0,'remove(4)',0).
spec_trans(0,'remove(5)',0).
spec_trans(0,'remove(6)',0).
spec_trans(0,'remove(7)',0).
spec_trans(0,'remove(8)',0).
spec_trans(0,'remove(9)',0).
spec_trans(0,'remove(10)',0).
spec_not_all_transitions_added(10).
spec_not_all_transitions_added(9).
spec_not_all_transitions_added(8).
spec_not_all_transitions_added(7).
spec_not_all_transitions_added(6).
spec_not_all_transitions_added(5).
spec_not_all_transitions_added(4).
spec_not_all_transitions_added(3).
spec_not_all_transitions_added(2).
spec_not_all_transitions_added(1).
spec_max_reached_for_node(0).
spec_max_reached_for_node(0).
spec_completely_explored :-
        fail.
